Interactive proof system - PDFSEARCH.IO - Document Search Engine

Interactive proof system
Results: 103

#	Item
71	Noninteractive Statistical Zero-Knowledge Proofs for Lattice Problems Chris Peikert∗ SRI International Vinod Vaikuntanathan Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2010-02-04 10:10:06 Cryptography Cryptographic protocols Lattice theory Computational complexity theory Interactive proof system Lattice problem Zero-knowledge proof Lattice IP Mathematics Abstract algebra Algebra
72	Can a system learn from interactive proofs? Leo Freitas, Cliff B. Jones and Andrius Velykis Newcastle University {leo.freitas,cliff.jones,andrius.velykis}@newcastle.ac.uk Abstract This paper sets out the on-going researc Add to Reading List Source URL: andrius.velykis.lt Language: English - Date: 2014-04-07 06:29:38 Automated theorem proving Logical syntax Mathematical logic Proof theory Heuristics Rippling Mathematical proof Theorem NP Logic Mathematics Theoretical computer science
73	A Knowledge-Based Analysis of Zero Knowledge (Preliminary Report) Joseph Y. Halpern IBM Almaden Research Center Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2007-04-26 00:00:00 Probabilistic complexity theory Cryptographic protocols Complexity classes Interactive proof system Quantum complexity theory IP Zero-knowledge proof Soundness Bounded-error probabilistic polynomial Theoretical computer science Computational complexity theory Applied mathematics
74	Knowledge and Distributed Computation by Mark R. Tuttle B.S., University of Nebraska{Lincoln (1984) Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2007-04-26 00:00:00 Applied mathematics Zero-knowledge proof Interactive proof system IP Alice and Bob NP Mathematical proof Algorithm Non-interactive zero-knowledge proof Cryptography Cryptographic protocols Theoretical computer science
75	Knowledge, Probability, and Adversaries Joseph Y. Halpern IBM Almaden Research Center San Jose, CA[removed]removed] Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2007-04-26 00:00:00 Quantum complexity theory Probability theory Probability space PP Advantage IP Interactive proof system Probability Markov chain Theoretical computer science Computational complexity theory Applied mathematics
76	Polylogarithmic-round Interactive Proofs for coNP Collapse the Exponential Hierarchy Alan L. Selman ∗ Add to Reading List Source URL: www.cse.buffalo.edu Language: English - Date: 2004-02-23 11:23:03 Complexity classes Probabilistic complexity theory Structural complexity theory Arthur–Merlin protocol Karp–Lipton theorem Quantum complexity theory NP Interactive proof system IP Theoretical computer science Computational complexity theory Applied mathematics
77	Virtual Proofs of Reality Ulrich R¨uhrmair [removed] Abstract—In this paper, we discuss the question how physical statements can be proven remotely over digital communication Add to Reading List Source URL: cryptome.org Language: English - Date: 2014-06-06 08:08:31 Complexity classes Computational complexity theory Interactive proof system Physical Unclonable Function IP Zero-knowledge proof NP NEXPTIME Challenge-response authentication Cryptography Cryptographic protocols Applied mathematics
78	QIP = PSPACE Rahul Jain∗ Zhengfeng Ji† Sarvagya Upadhyay‡ Add to Reading List Source URL: arxiv.org Language: English - Date: 2009-08-02 21:20:18 Complexity classes Computational complexity theory Mathematical optimization Matrix theory Linear algebra QIP QMA IP Interactive proof system Theoretical computer science Applied mathematics Mathematics
79	E-mail and the unexpected power of interaction L´ aszl´ o Babai ∗ E¨otv¨os University, Budapest and Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2011-06-26 23:39:25 Complexity classes Interactive proof system IP Arthur–Merlin protocol NP P/poly NEXPTIME True quantified Boolean formula Zero-knowledge proof Theoretical computer science Computational complexity theory Applied mathematics
80	SIPping from the firehose: Streaming Interactive Proofs for verifying computations Graham Cormode [removed] Amit Chakrabarti (Dartmouth) Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2014-03-11 07:07:14 Complexity classes Search algorithms NP Hash function IP Arthur–Merlin protocol Database Interactive proof system Theoretical computer science Applied mathematics Probabilistic complexity theory